משנה תורה, הלכות מלכים ומלחמות
מִנּוּי מֶלֶךְ קוֹדֵם לְמִלְחֶמֶת עֲמָלֵק. שֶׁנֶּאֱמַר (שמואל א טו א) "אֹתִי שָׁלַח ה' לִמְשָׁחֳךָ לְמֶלֶךְ" (שמואל א טו ג) "עַתָּה לֵךְ וְהִכִּיתָה אֶת עֲמָלֵק". וְהַכְרָתַת זֶרַע עֲמָלֵק קוֹדֶמֶת לְבִנְיַן הַבַּיִת. שֶׁנֶּאֱמַר (שמואל ב ז א) "וַיְהִי כִּי יָשַׁב הַמֶּלֶךְ בְּבֵיתוֹ וַה' הֵנִיחַ לוֹ מִסָּבִיב מִכָּל אֹיְבָיו" (שמואל ב ז ב) "וַיֹּאמֶר הַמֶּלֶךְ אֶל נָתָן הַנָּבִיא אָנֹכִי יוֹשֵׁב בְּבֵית אֲרָזִים" וְגוֹ'. מֵאַחַר שֶׁהֲקָמַת מֶלֶךְ מִצְוָה לָמָּה לֹא רָצָה הַקָּדוֹשׁ בָּרוּךְ הוּא כְּשֶׁשָּׁאֲלוּ מֶלֶךְ מִשְּׁמוּאֵל. לְפִי שֶׁשָּׁאֲלוּ בְּתַרְעֹמֶת. וְלֹא שָׁאֲלוּ לְקַיֵּם הַמִּצְוָה אֶלָּא מִפְּנֵי שֶׁקָּצוּ בִּשְׁמוּאֵל הַנָּבִיא. שֶׁנֶּאֱמַר (שמואל א ח ז) "כִּי לֹא אֹתְךָ מָאָסוּ כִּי אֹתִי מָאֲסוּ" וְגוֹ':